
type t =
    Int of int
  | Float of float
  | Bool of bool
  | String of string
  | Pair of t * t 


